λ(x : { a : Bool, b : Bool, c : Bool }) → x.{ c, a }
